Constructible Models of Orthomodular Quantum Logics
نویسنده
چکیده
We continue in this article the abstract algebraic treatment of quantum sentential logics [39]. The Notions borrowed from the field of Model Theory and Abstract Algebraic Logic AAL (i.e., consequence relation, variety, logical matrix, deductive filter, reduced product, ultraproduct, ultrapower, Frege relation, Leibniz congruence, Suszko congruence, Leibniz operator) are applied to quantum logics. We also proved several equivalences between state property systems (Jauch-Piron-Aerts line of investigations) and AAL treatment of quantum logics (corollary 18 and 19). We show that there exist the uniquely defined correspondence between state property system and consequence relation defined on quantum logics. We also signalize that a metalogical property Lindenbaum property does not hold for the set of quantum logics. c © Electronic Journal of Theoretical Physics. All rights reserved.
منابع مشابه
Non-Orthomodular Models for Quantum and Classical Logics Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers
It is shown that propositional calculuses of both quantum and classical logics are noncategorical. We find that quantum logic is in addition to an orthomodular lattice also modeled by a weakly orthomodular lattice and that classical logic is in addition to a Boolean algebra also modeled by a weakly distributive lattice. Both new models turn out to be non-orthomodular. We prove the soundness and...
متن کاملNon-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers
It is shown that propositional calculuses of both quantum and classical logics are noncategorical. We find that quantum logic is in addition to an orthomodular lattice also modeled by a weakly orthomodular lattice and that classical logic is in addition to a Boolean algebra also modeled by a weakly distributive lattice. Both new models turn out to be non-orthomodular. We prove the soundness and...
متن کاملStandard Logics Are Valuation-Nonmonotonic
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of non-orthomodular and thus non-distributive lattices that properly contain standard orthomodular and Boolean classes, respectively. In this paper we prove that these logics are complete even for those classes of the former lattices from which the standard orthomodular lattices and B...
متن کاملAn Intrisic Topology for Orthomodular Lattices
We present a general way to define a topology on orthomodular lattices. We show that in the case of a Hilbert lattice, this topology is equivalent to that induced by the metrics of the corresponding Hilbert space. Moreover, we show that in the case of a boolean algebra, the obtained topology is the discrete one. Thus, our construction provides a general tool for studying orthomodular lattices b...
متن کاملPartition logics of automata
We introduce a new type of orthomodular poset which is obtained by considering the pasting of partitions of a set. These partition logics appear in the experimental investigation of finite automata and can be related to certain quantum mechanical systems.
متن کامل